#include "kernel_dbg.h"
#include <ntddk.h>


void _KASSERT( bool bResult)
{
	if(!bResult)
		DbgBreakPoint();
}

void NullFunction(...)
{

}